Image-Schemata-Based Spatial Inferences: The Container-Surface Algebra

Algebras over spatial relations have become an important aspect of spatial reasoning for retrieving and handling large and complex spatial data sets. While such spatial relations play a fundamental role in specifying constraints in a spatial query language, there has been little concern as to whether existing spatial-relation algebras are cognitively plausible. In order to construct more intuitive and easier-to-use spatial query languages, this work pursues an alternative approach to spatial reasoning based on a small set of operators that derive cognitively plausible spatial relations. The work focuses on a set of operators that are associated with the behavior of image schemata— recurrent patterns that people learn through bodily experiences and use to assign meaning to objects and situations. A study of a small-scale space, involving the surface and container schemata, describes objects in this space and the possible spatial relations among them. The informal description is then translated into a formal algebraic specification and generalized for spatial relations in a scene that involves surface and container schemata. This formalization axiomatizes spatial inferences that are then applied and compared to a larger geographic space. As a result, a small set of spatial operators were defined for smalland large-scale spaces; however, these operators show discrepancies when applied to a combination of objects belonging to different scales. It is expected that this study can be useful in exploring new theories for the design of query languages of future geographic information systems.